SAT system of equation problems